The essence of Z
Bookreader Item Preview
Share or Embed This Item
- Publication date
- 1999
- Topics
- Z (Computer program language), Z (Computer program language) -- Problems, exercises, etc, Z (Langage de programmation), Z (Langage de programmation) -- Problèmes et exercices, Z Programmiersprache, Z (programmeertaal)
- Publisher
- London : Prentice Hall Europe
- Collection
- internetarchivebooks; inlibrary; printdisabled
- Contributor
- Internet Archive
- Language
- English
- Item Size
- 628.3M
xi, 187 pages : 24 cm
"The Essence of Z is new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several longer case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject."--BOOK JACKET
Includes bibliographical references and index
"The Essence of Z is new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several longer case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject."--BOOK JACKET
Includes bibliographical references and index
- Access-restricted-item
- true
- Addeddate
- 2022-10-07 13:02:03
- Autocrop_version
- 0.0.14_books-20220331-0.2
- Bookplateleaf
- 0002
- Boxid
- IA40731019
- Camera
- USB PTP Class Camera
- Collection_set
- printdisabled
- External-identifier
-
urn:lcp:essenceofz0000curr:lcpdf:fb7e1510-dba0-40e6-b0b4-f4c518db833c
urn:lcp:essenceofz0000curr:epub:b0f0fcfd-a8e2-4101-9590-96abf569b0e3
urn:oclc:record:1348970777
- Foldoutcount
- 0
- Identifier
- essenceofz0000curr
- Identifier-ark
- ark:/13960/s2v9mxwfq7m
- Invoice
- 1652
- Isbn
-
013749839X
9780137498390
- Lccn
- 95045890
- Ocr
- tesseract 5.2.0-1-gc42a
- Ocr_detected_lang
- en
- Ocr_detected_lang_conf
- 1.0000
- Ocr_detected_script
- Latin
- Ocr_detected_script_conf
- 1.0000
- Ocr_module_version
- 0.0.18
- Ocr_parameters
- -l eng
- Old_pallet
- IA-NS-0001353
- Openlibrary_edition
- OL7343981M
- Openlibrary_work
- OL7962177W
- Page_number_confidence
- 99
- Page_number_module_version
- 1.0.5
- Pages
- 206
- Pdf_module_version
- 0.0.20
- Ppi
- 360
- Rcs_key
- 24143
- Republisher_date
- 20221007192907
- Republisher_operator
- associate-resa-delfino@archive.org
- Republisher_time
- 190
- Scandate
- 20221003074332
- Scanner
- station47.cebu.archive.org
- Scanningcenter
- cebu
- Scribe3_search_catalog
- isbn
- Scribe3_search_id
- 9780137498390
- Tts_version
- 5.2-initial-114-g7c4a60b4
- Worldcat (source edition)
- 59403351
- Full catalog record
- MARCXML
comment
Reviews
There are no reviews yet. Be the first one to
.
20 Previews
2 Favorites
Purchase options
DOWNLOAD OPTIONS
No suitable files to display here.
IN COLLECTIONS
Internet Archive BooksUploaded by station47.cebu on